The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·6h·
Discuss: DEV
⚡Performance Tools
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·2h·
Discuss: Hacker News
🔗Constraint Handling
Counting with Categories (Part 3)
golem.ph.utexas.edu·23h
λLambda Formalization
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·1d·
Discuss: DEV
⚙️TLA+
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
PEGTL -- Parsing Expression Grammar Template Library
github.com·15h·
Discuss: Hacker News
🔗Parser Combinators
Lessons from LangChain and Slack and MCP Integration
medium.com·17h·
Discuss: Hacker News
🔗Topological Sorting
Beyond Static Models: Hypernetworks for Adaptive and Generalizable Forecasting in Complex Parametric Dynamical Systems
arxiv.org·10h
📈Time Series
How I ended up building hydractrl
d17e.dev·1d·
Discuss: Hacker News
📼Retro Games
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·7h
⬆️Lambda Lifting
Failure Modes of AI-Powered Engineering (2024)
bertolami.com·23h·
Discuss: Hacker News
✨Effect Handlers
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Threaded Code
muforth.dev·3h·
Discuss: Hacker News
🦀Rust Macros